Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results
1998-01-01 M. Baldoni; L. Giordano; A. Martelli
Take a Ramble into Solution Spaces for Classification Problems in Neural Networks
2019-01-01 Tartaglione, Enzo; Grangetto, Marco
Toolkit for the Creation of a Drama Dataset
2019-01-01 Lombardo, Vincenzo; Damiano, Rossana; Pizzo, Antonio
Towards Content Sensitivity Analysis
2020-01-01 Battaglia, Elena; Bioglio, Livio; Pensa, Ruggero G.
Towards diet management with automatic reasoning and persuasive natural language generation
2015-01-01 Anselma, Luca; Mazzei, Alessandro
Translating a Modal Language with Embedded Implications into Horn Clause Logic
1996-01-01 M. Baldoni; L. Giordano; A. Martelli
Tuple-Based Coordination in Large-Scale Situated Systems
2021-01-01 Casadei R.; Viroli M.; Ricci A.; Audrito G.
A Two-Step Radiologist-Like Approach for Covid-19 Computer-Aided Diagnosis from Chest X-Ray Images
2022-01-01 Barbano Carlo Alberto Maria; Tartaglione E.; Berzovini C.; Calandri M.; Grangetto M.
Typing Multi-Agent Systems via Commitments
2014-01-01 Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati
UniToChest: A Lung Image Dataset for Segmentation of Cancerous Nodules on CT Scans
2022-01-01 Chaudhry H.A.H.; Renzulli R.; Perlo D.; Santinelli F.; Tibaldi S.; Cristiano Carmen; Grosso M.; Limerutti G.; Fiandrotti A.; Grangetto M.; Fonio P.
Using XML for Representing Domain Dependent Knowledge in Dialogos
2001-01-01 Guido Boella; Rossana Damiano; Morena Danieli; Leonardo Lesmo
Verifying Business Process Compliance by Reasoning about Actions
2010-01-01 D. D'Aprile; L. Giordano; V. Gliozzi; A. Martelli; G.L. Pozzato; D. Theseider Dupré
Verifying Protocol Conformance for Logic-Based Communicating Agents
2005-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
VINTE: An implementation of internal calculi for lewis' logics of counterfactual reasoning
2017-01-01 Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca; Vitalis, Quentin
Virtual Reality Experiential Training for Individuals with Autism: The Airport Scenario
2020-01-01 Soccini A.M.; Cuccurullo S.A.G.; Cena F.
Visualizing Normative Systems: An Abstract ApproachDeontic Logic in Computer Science
2012-01-01 Silvano Colombo Tosatto;Guido Boella;Leendert Torre;Serena Villata
What2Cite: Unveiling Topics and Citations Dependencies for Scientific Literature Exploration and Recommendation
2020-01-01 Giosa, Davide; Di Caro, Luigi
Young Adult Unemployment Through the Lens of Social Media: Italy as a Case Study
2020-01-01 Urbinati A.; Kalimeri K.; Bonanomi A.; Rosina A.; Cattuto C.; Paolotti D.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile